Search CORE

3 research outputs found

Untyping Typed Algebras and Colouring Cyclic Linear Logic

Author: A. Wille
D. Kozen
D. Kozen
D. Krob
D. Yetter
Damien Pous
G. Bellin and A. Fleury
G. Bellin and P. Scott
H. Doornbos R. Backhouse, and J. van de
H. Ono and Y. Komori
Helmut Veith
J. Lambek
J.-M. Andreoli
J.-Y. Girard
M. Okada and K. Terui
M. Pentus
N. Dojer
N. Galatos P. Jipsen, T. Kowalski, and
P. Higgins
P. Jipsen
R. Adams
R. Diaconescu
R. Hindley
R. Milner
T. Mossakowski
V. Redko
Publication venue: 'Logical Methods in Computer Science e.V.'
Publication date: 01/01/2011
Field of study

We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations. As a consequence, the corresponding untyped decision procedures can be extended for free to the typed settings. Some of these theorems are obtained via a detour through fragments of cyclic linear logic, and give rise to a substantial optimisation of standard proof search algorithms.Comment: 21

arXiv.org e-Print Archive

HAL-ENS-LYON

CiteSeerX

Crossref

INRIA a CCSD electronic archive server

Hal-Diderot

Prospects for observing and localizing gravitational-wave transients with Advanced LIGO, Advanced Virgo and KAGRA

Author: Abbott
and Abbott B. P.
and Abbott R.
and Abernathy T. D.
and Acernese M. R.
and Ackley F.
and Adams C.
and Adams K.
and Addesso T.
and Adhikari P.
and Adya R. X.
and Affeldt V. B.
and Agathos C.
and Agatsuma M.
and Aggarwal K.
and Aguiar N.
and Aiello O. D.
and Ain L.
and Ajith A.
and Akutsu P.
and Allen T.
and Allocca B.
and Altin A.
and Alvarez R.
and Ananyeva P. A.
and Anderson A.
and Anderson S. B.
and Ando W. G.
and Appert M.
and Arai S.
and Araya A.
and Araya K.
and Areeda M. C.
and Arnaud J. S.
and Arun N.
and Asada K. G.
and Ascenzi H.
and Ashton S.
and Aso G.
and Ast Y.
and Aston M.
and Astone S. M.
and Atsuta P.
and Aufmuth S.
and Aulbert P.
and Avila-Alvarez C.
and Awai A.
and Babak K.
and Bacon S.
and Bader P.
and Baiardi C. B.
and Baiotti M. K. M.
and Baker L.
and Baldaccini P. T.
and Ballardin F.
and Ballmer G.
and Barayoga S. W.
and Barclay J. C.
and Barish S. E.
and Barker B. C.
and Barone D.
and Barr F.
and Barsotti B.
and Barsuglia L.
and Barta M.
and Bartlett D.
and Barton J.
and Bartos M. A.
and Bassiri I.
and Basti R.
and Batch A.
and Baune J. C.
and Bavigadda C.
and Bazzan V.
and Becsy M.
and Beer B.
and Bejger C.
and Belahcene M.
and Belgin I.
and Bell M.
and Berger A. S.
and Bergmann B. K.
and Berry G.
and Bersanetti C. P. L.
and Bertolini D.
and Betzwieser A.
and Bhagwat J.
and Bhandare S.
and Bilenko R.
and Billingsley I. A.
and Billman G.
and Birch C. R.
and Birney J.
and Birnholtz R.
and Biscans O.
and Bisht S.
and Bitossi A.
and Biwer M.
and Bizouard C.
and Blackburn M. A.
and Blackman J. K.
and Blair C. D.
and Blair D. G.
and Blair J.
and Bloemen R. M.
and Bock S.
and Boer O.
and Bogaert M.
and Bohe G.
and Bondu A.
and Bonnand F.
and Boom R.
and Bork B. A.
and Boschi R.
and Bose V.
and Bouffanais S.
and Bozzi Y.
and Bradaschia A.
and Brady C.
and Braginsky P. R.
and Branchesi V. B.
and Brau M.
and Briant J. E.
and Brillet T.
and Brinkmann A.
and Brisson M.
and Brockill V.
and Broida P.
and Brooks J. E.
and Brown A. F.
and Brown D. A.
and Brown D. D.
and Brunett N. M.
and Buchanan S.
and Buikema C. C.
and Bulik A.
and Bulten T.
and Buonanno H. J.
and Buskulic A.
and Bustillo C.
and Buy D.
and Byer C.
and Cabero R. L.
and Cadonati M.
and Cagnoli L.
and Cahillane G.
and Calloni T. A.
and Camp E.
and Cannon J. B.
and Cao H.
and Cao K. C.
and Capano J.
and Capocasa C. D.
and Carbognani E.
and Caride F.
and Castro G.
and Caudill C.
and Cavaglia S.
and Cavalier M.
and Cavalieri F.
and Cella R.
and Cepeda G.
and Cesarini G.
and Chamberlin E.
and Chan S. J.
and Chao M.
and Charlton S.
and Chassande-Mottin P.
and Cheeseboro E.
and Chen B. D.
and Chen H. Y.
and Cheng Y.
and Chincarini H. -P.
and Chiummo A.
and Chmiel A.
and Cho H. S.
and Cho T.
and Chow M.
and Christensen J. H.
and Chu N.
and Chua A. J. K.
and Chua Q.
and Chung S.
and Ciani S.
and Clara G.
and Clark F.
and Cleva J. A.
and Cocchieri F.
and Coccia C.
and Cohadon E.
and Colla P. -F.
and Collette A.
and Cominsky C. G.
and Constancio L.
and Conti M.
and Cooper L.
and Corbitt S. J.
and Cornish T. R.
and Corsi N.
and Cortese A.
and Costa A.
and Costa S.
and Coughlin C. A.
and Coughlin M. W.
and Coulon S. B.
and Countryman J. -P.
and Couvares S. T.
and Covas P.
and Cowan P. B.
and Coward E. E.
and Cowart D. M.
and Coyne D. C.
and Coyne M. J.
and Creighton J. D. E.
and Creighton R.
and Cripe T. D.
and Crowder J.
and Cullen S. G.
and Cumming T. J.
and Cunningham A.
and Cuoco L.
and D'Antonio S. L.
and Dal Canton E.
and Danilishin T.
and Danzmann S.
and Dasgupta K.
and Dave V.
and Davier I.
and Davies M.
and Davis G. S.
and Daw D.
and Day B.
and Day E. J.
and De Laurentis J.
and De Rosa V.
and De R.
and DeBra S.
and Debreczeni D.
and Degallaix G.
and Del Pozzo S.
and Deleglise M.
and Denker W.
and Dent T.
and Dergachev T.
and DeRosa R.
and DeSalvo R. T.
and Devine R.
and Dhurandhar R. C.
and Di Fiore M. C.
and Di Giovanni L.
and Di Girolamo M.
and Di Lieto T.
and Di Pace A.
and Di Palma S.
and Di Virgilio I.
and Diaz S.
and Diaz S.
and Doctor A.
and Doi Z.
and Dolique K.
and Donovan V.
and Dooley F.
and Doravari K. L.
and Dorrington S.
and Douglas I.
and Drago T. P.
and Drever M.
and Driggers R. W. P.
and Du J. C.
and Ducrot Z.
and Dwyer M.
and Eda S. E.
and Edo K.
and Edwards T. B.
and Effler M. C.
and Eggenstein A.
and Ehrens H. -B.
and Eichholz P.
and Eikenberry J.
and Eisenstein S. S.
and Essick R. A.
and Etienne R. C.
and Etzel Z.
and Evans M.
and Evans T.
and Everett T. M.
and Factourovich R.
and Fafone M.
and Fair V.
and Fairhurst H.
and Fan S.
and Farinon X.
and Farr B.
and Farr S.
and Fauchon-Jones W. M.
and Favata E. J.
and Fays M.
and Fehrmann M.
and Fejer H.
and Ferreira I.
and Ferrini E. C.
and Fidecaro F.
and Fiori F.
and Fiorucci I.
and Fisher D.
and Flaminio R. P.
and Fletcher R.
and Fong M.
and Forsyth H.
and Fournier S. S.
and Frasca J. -D.
and Frasconi S.
and Frei F.
and Freise Z.
and Frey A.
and Frey R.
and Fries V.
and Fritschel E. M.
and Frolov P.
and Fujii V. V.
and Fujimoto Y.
and Fulda M. -K.
and Fyffe P.
and Gabbard M.
and Gadre H.
and Gaebel B. U.
and Gair S. M.
and Galiana M. M.
and Gammaitoni J. R.
and Gaonkar L.
and Garufi S. G.
and Gaur F.
and Gayathri G.
and Gehrels V.
and Gemme N.
and Genin G.
and Gennai E.
and George A.
and Gergely J.
and Germain L.
and Ghonge V.
and Ghosh Abhirup
and Ghosh Archisman
and Ghosh S.
and Giaime S.
and Giardina J. A.
and Giazotto K. D.
and Gill A.
and Glaefke K.
and Goetz A.
and Goetz E.
and Gondan R.
and Gonzalez L.
and Gorodetsky A.
and Gossan M. L.
and Gosselin S. E.
and Gouaty M.
and Grado R.
and Graef A.
and Granata C.
and Grant M.
and Gras A.
and Gray S.
and Greco C.
and Green G.
and Groot A. C.
and Grote P.
and Grunewald H.
and Guidi S.
and Guo G. M.
and Gupta A.
and Gupta X.
and Gushwa M. K.
and Gustafson E. K.
and Gustafson K. E.
and Hacker R.
and Hagiwara J. J.
and Hall A.
and Hall B. R.
and Hammond E. D.
and Haney G.
and Hanke M.
and Hanks M. M.
and Hanna J.
and Hannam C.
and Hanson M. D.
and Hardwick J.
and Harms T.
and Harry G. M.
and Harry J.
and Hart I. W.
and Hartman M. J.
and Haster M. T.
and Haughian C. -J.
and Hayama K.
and Healy K.
and Heidmann J.
and Heintze A.
and Heitmann M. C.
and Hello H.
and Hemming P.
and Hendry G.
and Heng M.
and Hennig I. S.
and Henry J.
and Heptonstall J.
and Heurs A. W.
and Hild M.
and Hirose S.
and Hoak E.
and Hofman D.
and Holt D.
and Holz K.
and Hopkins D. E.
and Hough P.
and Houston J.
and Howell E. A.
and Hu E. J.
and Huerta Y. M.
and Huet E. A.
and Hughey D.
and Husa B.
and Huttner S.
and Huynh-Dinh S. H.
and Indik T.
and Ingram N.
and Inta D. R.
and Ioka R.
and Isa K.
and Isac H. N.
and Isi J. -M.
and Isogai M.
and Itoh T.
and Iyer Y.
and Izumi B. R.
and Jacqmin K.
and Jani T.
and Jaranowski K.
and Jawahar P.
and Jimenez-Forteza S.
and Johnson F.
and Jones D. I.
and Jones W. W.
and Jonker R.
and Ju R. J. G.
and Junker L.
and Kagawa J.
and KAGRA Collaboration and LIGO Sci Collaboration and LIGO Sci Collaboration and Virgo Collaboration J.
and Kajita T.
and Kakizaki T.
and Kalaghatgi M.
and Kalogera C. V.
and Kamiizumi V.
and Kanda M.
and Kandhasamy N.
and Kanemura S.
and Kaneyama S.
and Kang M.
and Kanner G.
and Karki J. B.
and Karvinen S.
and Kasprzack K. S.
and Kataoka M.
and Katsavounidis Y.
and Katzman E.
and Kaufer W.
and Kaur S.
and Kawabe T.
and Kawai K.
and Kawamura N.
and Kefelian S.
and Keitel F.
and Kelley D.
and Kennedy D. B.
and Key R.
and Khalili J. S.
and Khan F. Y.
and Khan I.
and Khan S.
and Khazanov Z.
and Kijbunchoo E. A.
and Kim C.
and Kim H.
and Kim J.
and Kim J. C.
and Kim N.
and Kim W.
and Kimbrell Y. -M.
and Kimura S. J.
and King E. J.
and King N.
and Kirchhoff P. J.
and Kissel R.
and Klein J. S.
and Kleybolte B.
and Klimenko L.
and Koch S.
and Koehlenbeck P.
and Kojima S. M.
and Kokeyama Y.
and Koley K.
and Komori S.
and Kondrashov K.
and Kontos V.
and Korobko A.
and Korth M.
and Kotake W. Z.
and Kowalska K.
and Kozak I.
and Kraemer D. B.
and Kringel C.
and Krishnan V.
and Krolak B.
and Kuehn A.
and Kumar G.
and Kumar P.
and Kumar Rahul
and Kuo Rakesh
and Kuroda L.
and Kutynia K.
and Kuwahara A.
and Lackey Y.
and Landry B. D.
and Lang M.
and Lange R. N.
and Lantz J.
and Lanza B.
and Lartaux-Vollard R. K.
and Lasky A.
and Laxen P. D.
and Lazzarini M.
and Lazzaro A.
and Leaci C.
and Leavey P.
and Lebigot S.
and Lee C. H.
and Lee E. O.
and Lee H. K.
and Lee H. M.
and Lee H. W.
and Lehmann K.
and Lenon J.
and Leonardi A.
and Leong M.
and Leroy J. R.
and Letendre N.
and Levin N.
and Li Y.
and Libson T. G. F.
and Littenberg A.
and Liu T. B.
and Lockerbie J.
and Lombardi N. A.
and London A. L.
and Lord L. T.
and Lorenzini J. E.
and Loriette M.
and Lormand V.
and Losurdo M.
and Lough G.
and Lousto J. D.
and Lovelace C. O.
and Lueck G.
and Lundgren H.
and Lynch A. P.
and Ma R.
and Macfoy Y.
and Machenschalk S.
and MacInnis B.
and Macleod M.
and Magana-Sandoval D. M.
and Majorana F.
and Maksimovic E.
and Malvezzi I.
and Man V.
and Mandic N.
and Mangano V.
and Mano V.
and Mansell S.
and Manske G. L.
and Mantovani M.
and Marchio F.
and Marion M.
and Marka F.
and Marka S.
and Markosyan Z.
and Maros A. S.
and Martelli E.
and Martellini F.
and Martin L.
and Martynov I. W.
and Mason D. V.
and Masserot K.
and Massinger A.
and Masso-Reid T. J.
and Mastrogiovanni M.
and Matichard S.
and Matone F.
and Matsumoto L.
and Matsushima N.
and Mavalvala F.
and Mazumder N.
and McCarthy N.
and McClelland R.
and McCormick D. E.
and McGrath S.
and McGuire C.
and McIntyre S. C.
and McIver G.
and McManus J.
and McRae D. J.
and McWilliams T.
and Meacher S. T.
and Meadors D.
and Meidam G. D.
and Melatos J.
and Mendell A.
and Mendoza-Gandara G.
and Mercer D.
and Merilh R. A.
and Merzougui E. L.
and Meshkov M.
and Messenger S.
and Messick C.
and Metzdorff C.
and Meyers R.
and Mezzani P. M.
and Miao F.
and Michel H.
and Michimura C.
and Middleton Y.
and Mikhailov H.
and Milano E. E.
and Miller A.
and Miller A. L.
and Miller B. B.
and Miller L.
and Millhouse J.
and Minenkov M.
and Ming Y.
and Mirshekari J.
and Mishra S.
and Mitrofanov C.
and Mitselmakher V. P.
and Mittleman G.
and Miyakawa R.
and Miyamoto A.
and Miyamoto O.
and Miyoki T.
and Moggi S.
and Mohan A.
and Mohapatra M.
and Montani S. R. P.
and Moore B. C.
and Moore M.
and Moraru C. J.
and Moreno D.
and Morii G.
and Morisaki W.
and Moriwaki S.
and Morriss Y.
and Mours S. R.
and Mow-Lowry B.
and Mueller C. M.
and Muir G.
and Mukherjee A. W.
and Mukherjee Arunava
and Mukherjee D.
and Mukund S.
and Mullavey N.
and Munch A.
and Muniz J.
and Murray E. A. M.
and Mytidis P. G.
and Nagano A.
and Nakamura K.
and Nakamura S.
and Nakano H.
and Nakano Masaya
and Nakano T.
and Nakao Masayuki
and Napier K.
and Nardecchia K.
and Narikawa I.
and Naticchioni T.
and Nelemans L.
and Nelson G.
and Neri T. J. N.
and Nery M.
and Neunzert M.
and Newport A.
and Newton J. M.
and Nguyen G.
and Ni T. T.
and Nielsen W. -T.
and Nissanke A. B.
and Nitz S.
and Noack A.
and Nocera A.
and Nolting F.
and Normandin D.
and Nuttall M. E. N.
and O'Reilly Richard J.
and O'Shaughnessy B.
and Oberling L. K.
and Ochsner J.
and Oelker E.
and Ogin E.
and Oh G. H.
and Oh J. J.
and Ohashi S. H.
and Ohishi M.
and Ohkawa N.
and Ohme M.
and Okutomi F.
and Oliver K.
and Ono K.
and Ono M.
and Oohara Y.
and Oppermann K.
and Oram P.
and Ottaway R.
and Overmier D. J.
and Owen H.
and Pace B. J.
and Page A. E.
and Pai A.
and Pai J.
and Pal-Singh C.
and Palamos S. A.
and Palashov J. R.
and Palomba O.
and Pan A.
and Pankow H.
and Pannarale C.
and Pant F.
and Paoletti B. C.
and Paoli F.
and Papa A.
and Paris M. A.
and Parker H. R.
and Pascucci W.
and Pasqualetti D.
and Passaquieti A.
and Passuello R.
and Patricelli D.
and Pearlstone B.
and Pedraza B. L.
and Pedurand M.
and Pekowsky R.
and Pele L.
and Pena Arellano A.
and Penn F. E.
and Perez S.
and Perreca C. J.
and Perri A.
and Pfeiffer L. M.
and Phelps H. P.
and Piccinni M.
and Pichot O. J.
and Piergiovanni M.
and Pierro F.
and Pillant V.
and Pinard G.
and Pinto L.
and Pitkin I. M.
and Poe M.
and Poggiani M.
and Popolizio R.
and Post P.
and Powell A.
and Prasad J.
and Pratt J.
and Predoi J. W. W.
and Prestegard V.
and Prijatelj T.
and Principe M.
and Privitera M.
and Prodi S.
and Prokhorov G. A.
and Puerrer P.
and Puncken L. G.
and Punturo O.
and Puppo M.
and Qi M.
and Qin H.
and Qiu J.
and Quetschke S.
and Quintero V.
and Quitzow-James E. A.
and Raab R.
and Rabeling F. J.
and Radkins D. S.
and Raffai H.
and Raja P.
and Rajan S.
and Rakhmanov C.
and Rapagnani M.
and Raymond P.
and Razzano V.
and Re M.
and Read V.
and Regimbau J.
and Rei T.
and Reid L.
and Reitze S.
and Rew D. H.
and Reyes H.
and Rhoades S. D.
and Ricci E.
and Riles F.
and Rizzo K.
and Robertson M.
and Robie N. A.
and Robinet R.
and Rocchi F.
and Rolland A.
and Rollins L.
and Roma J. G.
and Romano V. J.
and Romie R.
and Rosinska J. H.
and Rowan D.
and Ruediger S.
and Ruggi A.
and Ryan P.
and Sachdev K.
and Sadecki S.
and Sadeghian T.
and Sago L.
and Saijo N.
and Saito M.
and Sakai Y.
and Sakellariadou K.
and Salconi M.
and Saleem L.
and Salemi M.
and Samajdar F.
and Sammut A.
and Sampson L.
and Sanchez L. M.
and Sandberg E. J.
and Sanders V.
and Sasaki J. R.
and Sassolas Y.
and Sathyaprakash B.
and Sato B. S.
and Sato S.
and Saulson T.
and Sauter P. R.
and Savage O.
and Sawadsky R. L.
and Schale A.
and Scheuer P.
and Schmidt E.
and Schmidt J.
and Schmidt J.
and Schnabel P.
and Schoenbeck R. M. S.
and Schofield R.
and Schreiber A.
and Schuette E.
and Schutz D.
and Schwalbe B. F.
and Scott J.
and Scott S. G.
and Sekiguchi S. M.
and Sekiguchi T.
and Sellers Y.
and Sengupta D.
and Sentenac A. S.
and Sequino D.
and Sergeev V.
and Setyawati A.
and Shaddock Y.
and Shaffer D. A.
and Shahriar T. J.
and Shapiro M. S.
and Shawhan B.
and Sheperd P.
and Shibata A.
and Shikano M.
and Shimoda Y.
and Shoda T.
and Shoemaker A.
and Shoemaker D. H.
and Siellez D. M.
and Siemens K.
and Sieniawska X.
and Sigg M.
and Silva D.
and Singer A.
and Singer A. D.
and Singh A.
and Singh L. P.
and Singhal R.
and Sintes A.
and Slagmolen A. M.
and Smith B.
and Smith B. J. J.
and Smith J. R.
and Somiya R. J. E.
and Son K.
and Sorazu E. J.
and Sorrentino B.
and Souradeep F.
and Spencer T.
and Srivastava A. P.
and Staley A. K.
and Steinke A.
and Steinlechner J.
and Steinlechner M.
and Steinmeyer S.
and Stephens D.
and Stevenson B. C.
and Stone S. P.
and Strain R.
and Straniero K. A.
and Stratta N.
and Strigin G.
and Sturani S. E.
and Stuver R.
and Sugimoto A. L.
and Summerscales Y.
and Sun T. Z.
and Sunil L.
and Sutton S.
and Suzuki P. J.
and Swinkels T.
and Szczepanczyk B. L.
and Tacca M. J.
and Tagoshi M.
and Takada H.
and Takahashi H.
and Takahashi S.
and Takamori R.
and Talukder A.
and Tanaka D.
and Tanaka H.
and Tanaka K.
and Tanner T.
and Tapai D. B.
and Taracchini M.
and Tatsumi A.
and Taylor D.
and Telada R.
and Theeg S.
and Thomas E. G.
and Thomas M.
and Thomas T.
and Thorne P.
and Thrane K. A.
and Tippens E.
and Tiwari S.
and Tiwari T.
and Toeyrae C. I.
and Tokmakov V.
and Toland K. V.
and Tomaru K.
and Tomlinson T.
and Tonelli C.
and Tornasi M.
and Torrie Z.
and Traylor F.
and Trifiro G.
and Trinastic D.
and Tringali J.
and Trozzo M. C.
and Tse L.
and Tso M.
and Tsubono R.
and Tsuzuki K.
and Turconi T.
and Tuyenbayev M.
and Uchiyama D.
and Uehara T.
and Ueki T.
and Ueno S.
and Ugolini K.
and Unnikrishnan D.
and Urban C. S.
and Ushiba A. L.
and Usman T.
and Vahlbruch S. A.
and Vajente H.
and Valdes G.
and van Bakel G.
and van Beuzekom N.
and van den Brand M.
and Van Den Broeck J. F. J.
and van der Schaaf D. C.
and van Heijningen L.
and van Putten J. V.
and van Veggel M. H. P. M.
and Vander-Hyde C.
and Vardaro A. A.
and Varma M.
and Vass V.
and Vasuth S.
and Vecchio M.
and Vedovato A.
and Veitch G.
and Veitch J.
and Venkateswara P. J.
and Venugopalan K.
and Verkindt G.
and Vetrano D.
and Vicere F.
and Viets A.
and Vinciguerra A. D.
and Vine S.
and Vinet D. J.
and Vitale J. -Y.
and Vo S.
and Vocca T.
and Vorvick H.
and Voss C.
and Vousden D. V.
and Vyatchanin W. D.
and Wade L.
and Wade S. P.
and Wakamatsu M.
and Walker T.
and Wallace M.
and Walsh L.
and Wang G.
and Wang H.
and Wang M.
and Wang S.
and Ward Y.
and Warner R. L.
and Was J.
and Watchi M.
and Weaver J.
and Wei B.
and Weinert L. -W.
and Weinstein M.
and Weiss A. J.
and Wen R.
and Wessels L.
and Westphal P.
and Wette T.
and Whelan K.
and Whiting J. T.
and Whittle B. F.
and Williams C.
and Williams D.
and Williamson R. D.
and Willis A. R.
and Willke J. L.
and Wimmer B.
and Winkler M. H.
and Wipf W.
and Wittel C. C.
and Woan H.
and Woehler G.
and Worden J.
and Wright J.
and Wu D. S.
and Wu J. L.
and Yam G.
and Yamamoto H.
and Yamamoto K.
and Yamamoto W.
and Yancey T.
and Yano C. C.
and Yap K.
and Yokoyama M. J.
and Yokozawa J.
and Yoon T.
and Yu Hang
and Yu T. H.
and Yuzurihara Haocun
and Yvert H.
and Zadrozny M.
and Zangrando A.
and Zanolin L.
and Zeidler M.
and Zendri S.
and Zevin J. -P.
and Zhang L.
and Zhang M.
and Zhang M.
and Zhang T.
and Zhao Y.
and Zhou C.
and Zhou M.
and Zhu S. J.
and Zhu Z.
and Zucker X. J.
and Zweizig M. E.
And D.
And M.
Calderon and Callister J.
Casanueva and Casentini J.
Cerboni and Cerretani L.
Da Silva and Dattilo C. F.
Dovale and Downes M.
Fernandez and Ferrante A.
Gonzalez and Gopakumar J. M.
Marchesoni F.
R. and E. A.
R. J
Travasso F.
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2018
Field of study

We present possible observing scenarios for the Advanced LIGO, Advanced Virgo and KAGRA gravitational-wave detectors over the next decade, with the intention of providing information to the astronomy community to facilitate planning for multi-messenger astronomy with gravitational waves. We estimate the sensitivity of the network to transient gravitational-wave signals, and study the capability of the network to determine the sky location of the source. We report our findings for gravitational-wave transients, with particular focus on gravitational-wave signals from the inspiral of binary neutron star systems, which are the most promising targets for multi-messenger astronomy. The ability to localize the sources of the detected signals depends on the geographical distribution of the detectors and their relative sensitivity, and 90% credible regions can be as large as thousands of square degrees when only two sensitive detectors are operational. Determining the sky position of a significant fraction of detected signals to areas of 5– 20 deg2 requires at least three detectors of sensitivity within a factor of ∼2 of each other and with a broad frequency bandwidth. When all detectors, including KAGRA and the third LIGO detector in India, reach design sensitivity, a significant fraction of gravitational-wave signals will be localized to a few square degrees by gravitational-wave observations alone

VU Research Portal

University of Strathclyde Institutional Repository

Directory of Open Access Journals

Archivio istituzionale della ricerca - Università di Camerino

Open Repository and Bibliography - Liège

Research Repository and Portal - University of the West of Scotland

White Rose Research Online

Archivio istituzionale della ricerca - Università di Padova

Archivio istituzionale della ricerca - Università di Urbino

Online Research @ Cardiff

Ghent University Academic Bibliography

Kyoto University Research Information Repository